161. Mathematical logic for computer science

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35L8
1989

162. Mathematics for computer students

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
W57
1992

163. Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
459

164. Nonclassical Logics and Information Processing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

165. Philosophical and mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.

رده :
BC131

166. Practical Applications of Computational Intelligence Techniques

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

167. Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs

رده :
QA
75
.
5
.
S9574a

168. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses

رده :
QA
76
.
9
.
M35
S94
1994

169. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems

رده :
QA
76
.
87
.
I3434a

170. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
S94
2004

171. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
75
.
5
.
I38
2000

172. Relationale Datenbanken Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.,Software engineering.

رده :
QA76
.
9
.
D3
T466
2016

173. Rough Sets :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

رده :
Q335
.
B993
1991

174. Scheduling in Parallel Computing Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Information theory.,Logic, Symbolic and mathematical.

175. Soft Computing for Knowledge Discovery

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.

176. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses

رده :
Q
334
.
S632
1990

177. Special Topics in Mathematics for Computer Scientists

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات

رده :
QA
76
.
9
..
M35S6
2015
E-Book
,

178. Structural Complexity I

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.

179. Structural Complexity II

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :
QA267
.
B956
1990

180. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1261